Fundamentals of session types
نویسندگان
چکیده
منابع مشابه
Fundamentals of Session Types
We present a reconstruction of session types in a linear pi calculus where types are qualified as linear or unrestricted. Linearly qualified communication channels are guaranteed to occur in exactly one thread, possibly multiple times; unrestricted (or shared) channels may appear in an unbounded number of threads. In our language each channel is characterised by two distinct variables, one used...
متن کاملSession Types = Intersection Types + Union Types
We propose a semantically grounded theory of session types which relies on intersection and union types. We argue that intersection and union types are natural candidates for modeling branching points in session types and we show that the resulting theory overcomes some important defects of related behavioral theories. In particular, intersections and unions provide a native solution to the pro...
متن کاملFoundation of Session Types
We present a streamlined theory of session types based on a simple yet general and expressive formalism whose main features are semantically characterized and where each design choice is semantically justified. We formally define the semantics of session types and use it to define the subsessioning relation. We give a coinductive characterization of subsessioning and describe algorithms to deci...
متن کاملPOSTER SESSION BOOKLET From Fundamentals to Applications
The lack of social interaction is one of the most debilitating deficit associated with autism spectrum disorder (ASD) [1]. Children affected by ASD have problems in paying attention, turn-taking, games and communication activities. We propose a set of solutions in order to improve quality of social interaction in ASD children. Our methods will be implemented on board of a socially assistive rob...
متن کاملLightweight Functional Session Types
Row types provide an account of extensibility that combines well with parametric polymorphism and type inference. We discuss the integration of row types and session types in a concurrent functional programming language, and how row types can be used to describe extensibility in session-typed communication.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2012
ISSN: 0890-5401
DOI: 10.1016/j.ic.2012.05.002